Programming programming languages, and analyzing Facebook's failure

Analyzing demand in non-strict functional programming languages

ion, 18, 67, 81, 82,see also λx.saccept, 114application, 18, 52, 66, 67,115, 126, 131–133,228, 229, 254, 255,257, see also ruleapplicationapproximation, 10, 88, 89,93, 94, 123, 150set-based, 14argument, 87argument context, 76, 76, 77,78 blank symbol, 113, 114 case, 18co-domain, 20, 100, 206combinator, 23fixpoint, 34, 35, 79, 81...

MDA and Programming Languages

One of the open issues in Model Driven Architecture (MDA) is how to automatically transform the Platform Independent Model (PIM) over the Platform Specific Model (PSM) into source code currently this is only possible for a few domains using UML profiles, but the major goal is to minimize the required interaction by the programmer / designer at these steps in the general case. The idea is to def...

Programming languages and dimensions

Scientists and engineers must ensure that the equations and formulae which they use are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This thesis investigates the extension of programming languages to support the notion of physical dimension. A type system is presented similar to that of the programming language ML but extended with poly...

Monitoring and programming languages

Cyrille Artho Domain-Specific Languages with Scala, and model-based testing as an example Domain-Specific Languages (DSLs) are often classified into external and internal DSLs. An external DSL is a stand-alone language with its own parser. An internal DSL is an extension of an existing programming language, the host language, offering the user of the DSL domain-specific constructs as well as th...

Types and programming languages